00100	<F1> ::= <M2>	=>*
00200		::=<F1> ∨ <M2>	=> (OR F1 M2)
00300	<M2> ::= <M3>	=>*
00400		::= <M2> ∧ <M3>	=>(AND M2 M3)
00500	<M3> ::= (<F1>)	=>*
00600		::=¬<M3>	=>(NOT M3)
00700		::=<MPRM>	=>*
00800	
00900	<MPRM>	::= <ARG><MOP><ARG1>	=>(MOP ARG ARG1)
01000	
01100		::= OCR[<PAT>]	=>*
01200		::=TREE[<CNAME>] => (MATCHER CNAME (TREE C))
01300	
01400	<MOP> 	::= =	=>EQ
01500		::= <	=>LESSP
01600		::= >	=>GREATERP
01700	
01710	<ARG1> ::= <ARG>	=>*
01720	
01730	<ARG> ::= LENGTH	=>(LENGTH(CDR C))
01740		::=DEPTH	=>(DEPTH(CDR C))
01750		::=<NUMBER>	=> NUMBER
01760	
01800	
01900	<CNAME>	::= <NUMBER>	=>(*CLM (NUMBER) )
02000		::= <ID>[<VARLIST>] =>(*CLM((ID . VARLIST)))
02100		::= <ID>	 =>(*CLM (ID))
02200	
02300	<PAT>	::= <NOT1><PRED>	=>(OCNP(VARIT PRED)C )
02500		::=<PRED>	=>(OCPP(VARIT PRED) C)
02700		::=<TM>		=>(OCTM(VARIT TM)C)
02800		::=<FNLET>	=>(OCFNL  (QUOTE FNLET )C)
02900	
03000	END